<?php
session_start();

function display_head($page) {
return "
	<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01//EN\" \"http://www.w3.org/TR/html4/strict.dtd\"> 
	<html>
	<head>
	<title>PGRH | $page</title>
	<link rel=\"stylesheet\" type=\"text/css\" href=\"../../css/style.css\" />
	<script type=\"text/javascript\" src=\"../../include/employe_js.js\"></script>
	</head>
	<body>";
}

/*<li>login : $_SESSION['login']</li>
<li>profil : $_SESSION['stat'] </li>*/

function display_header($page) {
$log=$_SESSION['login'];
$stat=$_SESSION['statut'];
return "<div id='banner'>
<a href=\"../../index.php\" id=\"Logo\"><img border=\"0\" src=\"../../images/logo.gif\" alt='Logo PGRH'/></a>
<ul id='test'>
<li>$page</li>
<ul id='information'>
<li>login : $log |</li>
<li>profil : $stat |</li>
<li><a href='../../login.php?action=logout'><img border=\"0\" src=\"../../images/logout.png\" alt='deconnexion' /></a></li>
</ul>
</ul>
</div>
</br>
"
;
}

function display_end() { 

  return "
    </body>
    </html>
  ";
}
?>